1. Modelltheorie : eine Einfuhrung in die mathematische Logik und Grundlagentheorie
پدیدآورنده : Kreisel, Georg
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Model theory
رده :
QA
9
.
K7715
1972
2. Theorie axiomatique des ensembles ..
پدیدآورنده : Krivine, J. L.)Jean Louis(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Axiomatic set theory
رده :
QA
248
.
K7
1972